翻訳と辞書 Words near each other ・ John V. Kenny ・ John V. L. Pruyn ・ John V. Le Moyne ・ John V. Lombardi ・ John V. Luce ・ John V. McCarthy ・ John V. McClusky ・ John V. N. Dorr ・ John V. Orth ・ John V. Pavlik ・ John V. Power ・ John V. Robinson ・ John V. Sheridan ・ John V. Shields ・ John V. Soto ・ John V. Tucker ・ John V. Tunney ・ John V. Van Sickle ・ John V. Wehausen ・ John Vachon ・ John Vaillant ・ John Vaizey, Baron Vaizey ・ John Valby ・ John Valder ・ John Vale ・ John Valenti ・ John Valentin ・ John Valentine ・ John Valentine (baseball) ・ John Valentine (composer) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク John V. Tucker ： ウィキペディア英語版 John V. Tucker John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines. His work has focused on generalizing the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalizations as formal methods for system design; and on the interface between algorithms and physical equipment. == Biography == Born in Cardiff, Wales, he was educated at Bridgend Boys' Grammar School, where he was taught mathematics, logic and computing. He read mathematics at University of Warwick (BA in 1973), and studied mathematical logic and the foundations of computing at University of Bristol (MSc in 1974, PhD in 1977). He has held posts at Oslo University, The CWI Amsterdam, and at Bristol and Leeds Universities, before returning to Wales as Professor of Computer Science at Swansea University in 1989. In addition to theoretical computer science, Tucker also lectures on the history of computing and on the history of science and technology and Wales. Tucker founded the British Colloquium for Theoretical Computer Science in 1985 and served as its president from its inception until 1992. He is a Fellow of the British Computer Society and editor of several international scientific journals and monograph series. At Swansea, he has been Head of Computer Science (1994–2008) and Head of Physical Sciences (2007–11). He is Member of Academia Europaea. Outside of Computer Science, Tucker is a Trustee of the Welsh think-tank, the Institute of Welsh Affairs and the chair of the Swansea Bay branch. He is also a Trustee of the South Wales Institute of Engineers Educational Trust. Professor Tucker is married to Dr. T.E. Rihll, Reader in Ancient History at Swansea University. Professor Tucker is a Founding Fellow of the Learned Society of Wales and in July 2010 he was appointed as its inaugural General Secretary. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「John V. Tucker」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.